#!/bin/sh
mv RES RES_old
echo "Result of Fixed-point refinement" > RES
./cmp_image.sh bunny
./cmp_image.sh darkrgb
./cmp_image.sh diag2
./cmp_image.sh diag
./cmp_image.sh duffy
./cmp_image.sh g128
./cmp_image.sh gblk2
./cmp_image.sh gblk
./cmp_image.sh greenbarh
./cmp_image.sh greenbar
./cmp_image.sh green
./cmp_image.sh hori2
./cmp_image.sh horizontal
#./cmp_image.sh rect128
./cmp_image.sh redbar
./cmp_image.sh redcross
./cmp_image.sh rgb64
./cmp_image.sh sylvester
./cmp_image.sh test64_64

